not : (arg1 : Bool) -> (arg2 : Bool)
not = ?a
